<html>
<body>
将具有 <code>when</code> 初始值设定项的属性转换为未初始化的属性，后跟 <code>when</code> 表达式，其中每个分支都以赋值结束。
</body>
</html>
